The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
🔬PLT
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·1d·
Discuss: Lobsters, r/programming
⚙️Language Implementation
Hask Is Not a Category
math.andrej.com·1d·
Discuss: Hacker News
🔬PLT
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·23h·
Discuss: Hacker News
🔬PLT
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🔬PLT
The smallest embeddable scripting language, part 1
log.schemescape.com·15h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Language Implementation
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·3d·
Discuss: Hacker News
🔬PLT
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
💻Programming
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2h·
Discuss: Hacker News
🏗️Compiler Design
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
🔤Text Algorithms
Schematra: Sinatra inspired Chicken web framework
github.com·14h·
Discuss: Lobsters, Hacker News
⚙WebAssembly
Cogito V2 Preview
deepcogito.com·14h·
Discuss: Hacker News
🏗️Compiler Design
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
⚙️Language Implementation
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·1h·
Discuss: Hacker News
🖥️Computer Architecture
Deriving Rope the Proper Way
nor-blog.pages.dev·10h·
Discuss: Hacker News
🔤Text Algorithms
2000 words about arrays and tables
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔬PLT
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·3d·
Discuss: Lobsters, Hacker News
⚡Systems Performance
Not everything needs GPT. Sometimes a simple equation will do
danielball.com·18h·
Discuss: Hacker News
🔬PLT
Programming is magic, or how I wrote a Kalaha solver
vlaaad.github.io·1d·
Discuss: Hacker News
🔬PLT
Understanding ASTs
hypermod.io·2d·
Discuss: Hacker News
🔬PLT